Project-Team:CASH

Project-Team Cash

Team, Visitors, External Collaborators

Overall Objectives

Introduction
Overall Objectives

Research Program

Definition of dataflow representations of parallel programs
Expressivity and Scalability of Static Analyses
Compiling and Scheduling Dataflow Programs
HLS-specific Dataflow Optimizations
Simulation of Hardware

Highlights of the Year

New Software and Platforms

DCC
PoCo
MPPcodegen

New Results

Dataflow-explicit futures
Distributed futures
Locally abstract globally concrete semantics
Memory consistency for heterogeneous systems
PNets: Parametrized networks of automata
Decidability results on the verification of phaser programs
A Survey on Verified Reconfiguration
A Survey on Parallelism and Determinacy
Pipeline-aware Scheduling of Polyhedral Process Networks
A Compiler Algorithm to Guide Runtime Scheduling
fkcc: the Farkas Calculator
Standard-compliant Parallel SystemC simulation of Loosely-Timed Transaction Level Models
Response time analysis of dataflow applications on a many-core processor with shared-memory and network-on-chip
Smart placement of dynamically allocated objects for heterogeneous memory
Static Analysis Of Binary Code With Memory Indirections Using Polyhedra
Polyhedral Value Analysis as Fast Abstract Interpretation
Decision results for solving Horn Clauses with arrays
Scheduling Trees
Formalisation of the Polyhedral Model
Semantics diffs in LLVM

Bilateral Contracts and Grants with Industry

Bilateral Contracts with Industry

Partnerships and Cooperations

National Initiatives
International Initiatives
International Research Visitors

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries
Popularization

Bibliography

Publications of the year
References in notes

Inria | Raweb 2019 | Presentation of the Project-Team CASH | CASH Web Site


	PDF	e-Pub

Previous |

Home | Next next

Section: New Results

A Survey on Verified Reconfiguration

Participant : Ludovic Henrio.

We are conducting a survey on the use of formal methods to ensure safety of reconfiguration of distributed system, that is to say the runtime adaptation of a deployed distributed software system. The survey article is written together with Hélène Coullon and Simon Robillard (IMT Atlantique, Inria, LS2N, UBL), and Frédéric Loulergue (Northern Arizona University). Hélène Coullon is the coordinator and we expect the article to be submitted in 2020.

Previous |

Home | Next next